Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
141	Sufficient Conditions for the Existence of Resolution Complete Planning Algorithms Dmitry S. Yershov and Steven M. LaValle Abstract This paper addresses theoretical foundations of motion planning with differential constr Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:39:37 Continuous function Lipschitz continuity Trajectory State space Mathematical analysis Mathematics Calculus
142	On the Foundations of Computing Deltas Between RDF Models Dimitris Zeginis, Yannis Tzitzikas, and Vassilis Christophides Computer Science Department, University of Crete, GREECE, and Institute of Computer Science, FORTH- Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:16 Grammar Meaning Semantics Social philosophy State space Function Nim Finitary relation Mathematics Control theory Logic
143	Xi Chen Assistant Professor Department of Computer Science Columbia University Phone: [removed] Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2013-04-02 11:10:37 ACM SIGACT Symposium on Foundations of Computer Science Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Algorithmic game theory Ran Raz Ronald V. Book Theoretical computer science Applied mathematics Computer science
144	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
145	Foundations of Data Science 1 John Hopcroft Ravindran Kannan Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-08-25 17:40:07 Linear algebra Multivariate statistics Data analysis Matrix theory Singular value decomposition Vector space model Principal component analysis Cluster analysis Hidden Markov model Algebra Statistics Mathematics
146	Cambridge University Press[removed]6 - How Humans Learn to Think Mathematically: Exploring the Three Worlds of Mathematics David Tall Index More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2014-10-13 07:31:21 Functions and mappings Calculus Philosophy of mathematics David Tall Foundations of mathematics Function Logicism Non-standard analysis Gottlob Frege Mathematics Mathematical logic Infinity
147	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
148	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
149	Madhu Sudan Principal Researcher, Microsoft Research Areas of Special Interests Theory of Computer Science, Algorithms, Computational Complexity, Reliable Communication, Optimization. Ph.D. Title Efficient Checking of Po Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-11-22 15:21:13 Symposium on Foundations of Computer Science Symposium on Theory of Computing Madhu Sudan Venkatesan Guruswami Sanjeev Arora Carsten Lund Ran Raz ACM SIGACT Applied mathematics Computer science Mathematical sciences
150	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic

UPDATE